minimal injective resolution

极小内射分解